#include <syscalls.h>
#include <syscall_tags.h>
#include <xxxio.h>
#include <stdarg.h>


/* Wrapper for calling spork as a system call */
scall void spork(int param)
{
  syscall(SYSC_spork, 1, param);
}

scall void sys_spork(int param)
{
  xprintf_c(char_colour(BALL_BLUE,WHITE), "Spork: %i", param);
  xprintf("\n");
}

int validate_spork(va_list args)
{
  return 0;
}

